Noncappable Enumeration Degrees Below 0'e

نویسندگان

  • S. Barry Cooper
  • Andrea Sorbi
چکیده

We prove that there exists a noncappable enumeration degree strictly below 0 0 e. Two notions of relative computability, Turing and enumeration re-ducibility, are basic to any natural ne-structure theory for the classes of computable and incomputable objects. Of the theories for the corresponding degree structures (D D D and D D D e), that for the Turing degrees is the better developed, mainly due to the depth of knowledge of spe-ciic local structure (see for example Lerman Le83], Odifreddi Od89] and Soare So87]). Despite its importance (see Co90]) in applications to nondeterministic computations, to relative computability involving partial information, in providing models of-calculus, and in setting 1991 Mathematics Subject Classiication. 03D30.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Algebraic Decomposition of the Recursively Enumerable Degrees and the Coincidence of Several Degree Classes with the Promptly Simple Degrees1

We specify a definable decomposition of the upper semilattice of recursively enumerable (r.e.) degrees R as the disjoint union of an ideal M and a strong filter NC. The ideal M consists of 0 together with all degrees which are parts of r.e. minimal pairs, and thus the degrees in NC are called noncappable degrees. Furthermore, NC coincides with five other apparently unrelated subclasses of R: EN...

متن کامل

Lattice Embeddings into the R . E . Degrees Preserving 0 and 1

We show that a nite distributive lattice can be embedded into the r.e. degrees preserving least and greatest element i the lattice contains a join-irreducible noncappable element.

متن کامل

The 02 Enumeration Degrees Are Not

We show that the 0 2 enumeration degrees are not dense. This answers a question posed by Cooper. 1 Background Cooper 3] showed that the enumeration degrees (e-degrees) are not dense. He also showed that the e-degrees of the 0 2 sets are dense 2]. Since Cooper's nondensity proof constructs a 0 7 set, he posed the question: What is the least n (2 n 6) such that the e-degrees below 0 n are not den...

متن کامل

A non-splitting theorem in the enumeration degrees

We complete a study of the splitting/non-splitting properties of the enumeration degrees below 0′e by proving an analog of Harrington’s non-splitting theorem for the Σ2 enumeration degrees. We show how non-splitting techniques known from the study of the c.e. Turing degrees can be adapted to the enumeration degrees.

متن کامل

The Jump Operator on the Ω-enumeration Degrees

The jump operator on the ω-enumeration degrees is introduced in [11]. In the present paper we prove a jump inversion theorem which allows us to show that the enumeration degrees are first order definable in the structureDω ′ of the ω-enumeration degrees augmented by the jump operator. Further on we show that the groups of the automorphisms of Dω ′ and of the enumeration degrees are isomorphic. ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Symb. Log.

دوره 61  شماره 

صفحات  -

تاریخ انتشار 1996